home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Tests / r.pl < prev    next >
Encoding:
Text File  |  1989-04-14  |  236 b   |  11 lines
  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. rewrite_args(0,_,_) :- !.
  5. rewrite_args(N,Old,Mid) :- 
  6.     arg(N,Old,OldArg),
  7.     arg(N,Mid,MidArg),
  8.     rewrite(OldArg,MidArg),
  9.     N1 is N-1,
  10.     rewrite_args(N1,Old,Mid).
  11.